1

Hilbert Lattice Equations

Year:
2010
Language:
english
File:
PDF, 397 KB
english, 2010
2

Quantum Implication Algebras

Year:
2003
Language:
english
File:
PDF, 71 KB
english, 2003
3

A Finitely Axiomatized Formalization of Predicate Calculus with Equality

Year:
1995
Language:
english
File:
PDF, 120 KB
english, 1995
4

Graph approach to quantum systems

Year:
2010
Language:
english
File:
PDF, 798 KB
english, 2010
5

Weaker D-Complete Logics

Year:
1996
Language:
english
File:
PDF, 360 KB
english, 1996
7

Automated generation of Kochen-Specker sets

Year:
2019
Language:
english
File:
PDF, 2.15 MB
english, 2019
8

Kochen–Specker Sets and Generalized Orthoarguesian Equations

Year:
2011
Language:
english
File:
PDF, 359 KB
english, 2011
9

New class of 4-dim Kochen–Specker sets

Year:
2011
Language:
english
File:
PDF, 483 KB
english, 2011
11

Orthomodular Lattices and a Quantum Algebra

Year:
2001
Language:
english
File:
PDF, 118 KB
english, 2001
13

Probabilistic generation of quantum contextual sets

Year:
2011
Language:
english
File:
PDF, 297 KB
english, 2011
14

New Kochen–Specker sets in four dimensions

Year:
2010
Language:
english
File:
PDF, 279 KB
english, 2010